Natural Deduction
(-(a=>b)+a)=> a.
assume -(a=>b)+a. assume -(a=>b). assume -a. assume a. F. b. therefore a=>b. F. therefore --a. end a. assume a. end a. a. therefore (-(a=>b)+a)=> a.
examples
|
rules
|
formulas syntax
|
proofs definition
|
info
|
download
|
home
Last Modified : 16-Dec-2021